61. Programming languages :
پدیدآورنده: André Rauber Du Bois, Phil Trinder (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Programming languages (Electronic computers), Congresses
رده :
QA76
.
7
.
B73
2013
62. Programming languages and systems :
پدیدآورنده: Amal Ahmed (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Computer programming.,Computer science.,Computers / Programming.,Programming languages (Electronic computers)
رده :
QA76
.
6
63. Query optimization by semantic veasoning
پدیدآورنده: / by Jonathan J. King
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Data base management,Information storage and retreval systems,Programming languages (Electronic computers) semantics
رده :
QA76
.
9
.
D3K55
1984
64. Semantics for concurrency : proceedings of the International BCS-FACS Workshop
پدیدآورنده: / sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Parallel programming (Computer science) - Congresses,Programming languages (Electronic computers) - Semantics - Congresses
رده :
QA76
.
642
.
I56
1990
65. Semantics of concurrent computation :
پدیدآورنده: edited by Gilles Kahn.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Parallel processing (Electronic computers) -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Traitement simultané (Ordinateurs) -- Congrès.
رده :
QA76
.
6
E358
1979
66. Semantics of data types :
پدیدآورنده: edited by G. Kahn, D.B. MacQueen, and G. Plotkin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Data structures (Computer science) -- Congresses.,Langages de programmation -- Sémantique -- Congrès.,Programming languages (Electronic computers) -- Semantics -- Congresses.
67. Semantics of programming languages and model theory
پدیدآورنده: / edited by Manfred droste and yuri gurevich
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Programming languages (Electronic Computers)-- Semantics
رده :
005
.
131
S471
68. Semantics of type theory : correctness, completeness, and independence results
پدیدآورنده: / Thomas Streicher
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Programming languages (Electronic computers) - Semantics,Functional programming (Computer science),Type theory
رده :
QA76
.
7
.
S82
1991
69. The Art of Modelling Computational Systems :
پدیدآورنده: Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer security.,Programming languages (Electronic computers),Computer security.,Programming languages (Electronic computers)
رده :
QA76
.
7
.
A78
2019
70. The Logic of Partial Information
پدیدآورنده: by Areski Nait Abdallah.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
7
B937
1995
71. The sementary of programming languages
پدیدآورنده: / Mattew Hennessy,Hennessy
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Programming language (Electronic Computers),Semantic
رده :
QA
76
.
7
.
H4
1990
72. Theoretical aspects of object-oriented programming : types, semantics, and language design
پدیدآورنده: edited by Carl A. Gunter and John C. Mitchell
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Object-oriented programming )Computer science(,، Programming languages )Electronic computers(
رده :
QA
76
.
64
.
T4
73. Towards a formal description of Ada
پدیدآورنده: edited by D. Bjorner and O.N. Oest
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Ada )Computer program language(,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
L4
v
.
98
74. Towards a formal description of Ada
پدیدآورنده: edited by D. Bjørner and O.N. Oest.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Ada (Computer program language),ADA.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
73
.
A35
E358
1980
75. Trees in Algebra and Programming - CAAP '96 :
پدیدآورنده: edited by Hélène Kirchner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming.,Computer science.,Programming languages (Electronic computers)
رده :
QA166
.
2
E358
1996
